Depth Relevance and Hyperformalism

Formal symptoms of relevance usually concern the propositional variables shared between antecedent and consequent provable conditionals. Among most famous results about such are Belnap’s early showing that for sublogics strong relevant logic R, conditionals share a signed variable consequent. For logics weaker than R stronger sharing available. In 1984, Ross Brady gave one well-known example result. As corollary to main result paper, we give very simple proof related but strictly